翻訳と辞書 Words near each other ・ Low (Testament album) ・ Low Abbotside ・ Low Alemannic German ・ Low Altitude Parachute Extraction System ・ Low and Behold ・ Low and Burbank's Grant, New Hampshire ・ Low and high hierarchies ・ Low arousal ・ Low arousal approach ・ Low arousal theory ・ Low back pain ・ Low Bandwidth X ・ Low Bap ・ Low Bar Ferry ・ Low base effect ・ Low basis theorem ・ Low Bergish ・ Low Beskids ・ Low Bin Tick ・ Low Birth Weight ・ Low birth weight ・ Low birth-weight paradox ・ Low bit ・ Low Blow ・ Low Blow (album) ・ Low boy ・ Low Bradfield ・ Low brass ・ Low Bridge (song) ・ Low Brook Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Low basis theorem ： ウィキペディア英語版 Low basis theorem The low basis theorem in computability theory states that every nonempty $\backslash Pi^0\_1$ class in $2^\backslash omega$ (see arithmetical hierarchy) contains a set of low degree (Soare 1987:109). It was first proved by Carl Jockusch and Robert I. Soare in 1972 (Nies 2009:57). Cenzer (1993:53) describes it as "perhaps the most cited result in the theory of $\backslash Pi^0\_1$ classes". The proof uses the method of forcing with $\backslash Pi^0\_1$ classes (Cooper 2004:330). == References == * Theorem 3.6, (p. 54 ). * . * The original publication, including additional clarifying prose. * Theorem 1.8.37. * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Low basis theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.